-
1 logic theory
Abbreviation: lt -
2 теория логики
-
3 теория логики
Русско-английский словарь по радиоэлектронике > теория логики
-
4 математическая логика
Русско-английский словарь по информационным технологиям > математическая логика
-
5 математическая логика
1. mathematical logic2. logic theory3. mathematics of logicРусско-английский большой базовый словарь > математическая логика
-
6 математическая логика
1) Engineering: logic theory, mathematical logic2) Mathematics: logistics3) Information technology: logic, mathematics of logic4) Automation: mathematical logic (исследование мышления с помощью исчислений и формализованных языков), symbolic logicУниверсальный русско-английский словарь > математическая логика
-
7 математическая логика
Русско-английский политехнический словарь > математическая логика
-
8 математическая логика
mathematical logic, mathematics of logic, logic theoryРусско-английский словарь по вычислительной технике и программированию > математическая логика
-
9 матлогика
Computers: logic theory -
10 LT
Link Trailer — «концевик» канала данныхlogic theory machine — программа для доказательства теорем исчисления высказываний Уайнхеда и Расселаlink trailer — (концевик канала ( звена) передачи данных -
11 теория выбора
варианты выбора; совокупность вариантов выбора — choice set
ошибившийся в выборе — making the wrong choice (refl.)
Бизнес, юриспруденция. Русско-английский словарь > теория выбора
-
12 теория переключательных схем
Русско-английский большой базовый словарь > теория переключательных схем
-
13 теория выбора
решающая функция; функция выбора решения — decision function
выбор из двух альтернатив; двоичный выбор — binary decision
логическое решение; логический выбор — logic decision
Русско-английский словарь по информационным технологиям > теория выбора
-
14 конструктивность
f. constructibility (logic, set theory)Русско-английский словарь математических терминов > конструктивность
-
15 Логика переходов
General subject: State transition logic is formally defined within finite automata theory (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) -
16 конструктивность
1) Engineering: designability2) Mathematics: constructibility (set theory; logic), constructivity3) Logics: constructibility4) Psychology: constructiveness -
17 логика квантовой теории
Mathematics: logic of quantum theoryУниверсальный русско-английский словарь > логика квантовой теории
-
18 логика переходов
General subject: State transition logic is formally defined within finite automata theory (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) -
19 логика теории
Mathematics: logic of theory -
20 предлагать
(= предложить) offer, propose, suggest, recommend• Были предложены несколько методов. - Several techniques have been suggested.• Было предложено, чтобы/что... - It has been suggested that...; It has been proposed that...• В данной главе мы предлагаем обсудить... - In this chapter we propose to discuss...• В качестве поддержки для начинающего мы предлагаем следующее. - As encouragement for the beginner, we offer the following.• В подобных случаях было предложено... - In such cases it was suggested that...• Возможно, мы могли бы предложить в качестве гипотезы (что-л)... - We might perhaps conjecture that...• Давайте предложим следующее в качестве пробного решения. - Let us propose the following as a trial solution.• Данная диаграмма предлагает объяснение... - This diagram offers a perspective on...• Для этого Зоммерфельд предложил (= дал) следующий совет. - То this end, Sommerfeld offered the following words of advice.• Другой метод был предложен Джонсом [1]. - A different method has been given by Jones [1].• Изучение логики предлагает (= дает) возможность отточить способности к рассуждениям. - The study of logic offers an opportunity to sharpen one's reasoning skills.• Каждодневный опыт предлагает (= дает)... - Everyday experience suggests that...• Коши предложил простой метод для проверки сходимости подобных рядов. - Cauchy devised a simple method for determining the convergence of such series.• Мы могли бы предложить следующий подход. - We might suggest the following approach.• Мы не предлагаем доказывать существование (решения и т. п.)... - We do not propose to prove the existence of...• Мы хотели бы предложить следующую альтернативу. - We would like to propose the following alternative.• Один очень интересный подход был предложен Смитом [1]. - A very interesting approach has been proposed by Smith [1].• Он предлагает новую теорию данного явления. - Не put forward a new theory for this phenomenon.• Разумно предложить... - It is reasonable to suggest that...; It stands to reason that...• Решение этой дилеммы было предложено Смитом [1] в 1980 г. - A way out of this dilemma was proposed in 1980 by Smith [1].• Симметрия (выражения) предлагает (= дает) нам, что... - Symmetry tells us that...• Смит [1] предложил метод вычисления... - Smith [1] has proposed a method of calculating...• Тем не менее, имеется достаточное основание предложить... - Nevertheless, there is enough evidence to suggest that...• Эта аналогия часто используется, чтобы предложить... - The analogy is often used to suggest that...• Эта идея уже была использована Смитом [1], который предлагает (что-л)... - This idea has been exploited by Smith [1], who suggests that...• Эти данные предлагают, что... - These data suggest that...• Это было предложено как объяснение для... -This has been suggested as an explanation for...• Это заставило нескольких авторов предложить использование... - This has led several authors to propose the use of...• Это объяснение было предложено Смитом [1], который... - This explanation was proposed by Smith [1], who...• Этот результат предлагает естественное обобщение... - This result suggests a natural generalization of...
- 1
- 2
См. также в других словарях:
Theory (disambiguation) — Theory may refer to:;Concepts * Theory, a logical explanation for a given set of facts * Theory (mathematics) a branch of mathematics which covers a single subject (e.g. Number theory) * Theory (mathematical logic), the set of statements… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Logic in Islamic philosophy — Logic (Arabic: Mantiq ) played an important role in early Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, as seen in the method of qiyas . This… … Wikipedia
Theory-based semantics — is a phrase used by Richard L. Ballard to describe knowledge representations that are based on the premise that the binding element of human thought is theory, and that theory constrains the meaning of concepts, ideas and thought patterns… … Wikipedia
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Theory of Constraints — (TOC) is an overall management philosophy. Dr. Eliyahu M. Goldratt introduced the Theory of constraints in his 1984 book titled The Goal . It is based on the application of scientific principles and logic reasoning to guide human based… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
LOGIC — (Heb. חָכְמַת הַדִּבּוּר or מְלֶאכֶת הַהִגַּיוֹן), the study of the principles governing correct reasoning and demonstration. The term logic, according to Maimonides, is used in three senses: to refer to the rational faculty, the intelligible in… … Encyclopedia of Judaism
Logic as a Positive Science — is one of the major works of Italian Marxist philosopher Galvano Della Volpe. It was first published in 1950 as Logica come Scienza positiva . A second edition appeared in 1956 and according to translator, Jon Rothschild, Della Volpe was… … Wikipedia